#ifndef GUESTDATA_H_INCLUDED
#define GUESTDATA_H_INCLUDED

#ifndef __ASSEMBLY__
#include <linux/time.h>
#include <asm/irq.h>
#include <asm/lguest_hcall.h>



#endif // GUESTDATA_H_INCLUDED
